<?xml version="1.0" encoding="UTF-8"?>
<os-getSPICEConsole>
  <type>spice-html5</type>
</os-getSPICEConsole>
